プロセスと同期(5) Eisenberg-McGuireのアルゴリズム